Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
641	Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic Viktor Kuncak1 and Martin Rinard2 1 Ecole Politechnique F´ed´erale de Lausanne, Lausanne, VD, Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2007-12-05 11:59:40 Logic in computer science Model theory Complexity classes Boolean algebra Electronic design automation Boolean satisfiability problem Presburger arithmetic Quantifier elimination Decision problem Theoretical computer science Computational complexity theory Applied mathematics
642	Symbolic Resource Bound Inference for Functional Programs Ravichandhran Madhavan1 and Viktor Kuncak2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-05-24 11:45:01 Formal methods Electronic design automation Logic in computer science NP-complete problems Model theory Function Boolean satisfiability problem Structure Parameter Mathematics Theoretical computer science Mathematical logic
643	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
644	A Universal Calculus for Stream Processing Languages Robert Soul´e1 , Martin Hirzel2 , Robert Grimm1 , Bu˘gra Gedik2 , Henrique Andrade2 , Vibhore Kumar2 , and Kun-Lung Wu2 1 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2010-03-22 18:17:38 Models of computation Denotational semantics Logic in computer science Μ operator CQL NDepend Stack Stream Relational algebra Computing Theoretical computer science Software engineering
645	Software Synthesis Procedures ∗ Viktor Kuncak Mikaël Mayer LARA, I&C Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-12-03 07:53:01 Model theory Logic in computer science Constraint programming Electronic design automation Formal methods Satisfiability Modulo Theories Boolean satisfiability problem First-order logic Interpretation Mathematical logic Theoretical computer science Mathematics
646	Advising students interested in Computers and Programming Both classes have no pre-reqs and assume no prior knowledge of programming. Any student may take them. CSCI 1101 Introduction to Computer Science Add to Reading List Source URL: www.bowdoindailysun.com Language: English - Date: 2015-04-10 09:00:32 Theoretical computer science Computer science Applied mathematics Mathematics Algorithm Mathematical logic
647	Introduction Encoding SC (LIA) into U+LIA Implementation and Future Work Add to Reading List Source URL: www.qatar.cmu.edu Language: English - Date: 2014-07-18 05:28:18 Set-builder notation Formal methods Logic in computer science NP-complete problems Mathematics Mathematical logic Multiset
648	Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions Chengcheng Wu Yongxin Zhao Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-27 15:08:44 Theoretical computer science Logic in computer science Deduction Operational semantics Algebraic semantics Calculus BL Soundness Denotational semantics Logic Programming language semantics Mathematical logic
649	A Verification Toolkit for Numerical Transition Systems Tool Paper⋆ Hossein Hojjat1 , Filip Koneˇcn´y2,4, Florent Garnier2 , Radu Iosif2 , Viktor Kuncak1, and Philipp R¨ummer3 1 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-06-11 13:15:35 Logic in computer science Model theory Presburger arithmetic Proof theory Data types Computability theory Oz Abstract interpretation Peano axioms Mathematical logic Mathematics Theoretical computer science
650	Proof Patterns for Formal Methods Leo Freitas and Iain Whiteside School of Computing Science, Newcastle University, U.K. {.}@newcastle.ac.uk Abstract. Design patterns represent a highly successful technique in Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-04-10 11:01:31 Logic in computer science Rippling Theorem Formal methods Postcondition First-order logic Mathematical proof Precondition IP Logic Mathematics Theoretical computer science

UPDATE